Typed lambda calculi and applications - Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995 : proceedings
- Författare
- Gordon Plotkin Mariangiola Dezani-Ciancaglini International Conference on Typed Lambda Calculi and Applications 1995) Edinburgh :
- (Mariangiola Dezani-Ciancaglini, Gordon Plotkin (eds.).)
- Genre
- Ej skönlitteratur, Konferenser, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 1995 | Tyskland, Berlin, New York | 442 sidor. |